Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra

Source URL: chu.stanford.edu

• Algebraic structures
• Chu space
• Semilattice
• Boolean algebra
• Structure
• Homomorphism
• Partially ordered set
• Lattice
• Adjoint functors
• Binary relation
• Isomorphism
• Dual space

Formal Baire space in constructive set theory Giovanni Curi and Michael Rathjen∗ Dipartimento di Matematica, Universit`a di Padova Via Trieste, Padova, Italy (G. Curi). Department of Pure M

Source URL: www1.maths.leeds.ac.uk

Relativized ordinal analysis: The case of Power Kripke-Platek set theory Michael Rathjen Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England,

Source URL: www1.maths.leeds.ac.uk

A Mini-Course on Convex Optimization with a view toward designing fast algorithms Nisheeth K. Vishnoi i

Source URL: theory.epfl.ch

• Mathematical optimization
• Mathematical analysis
• Numerical analysis
• Convex analysis
• Convex optimization
• Operations research
• Linear programming
• Convex function
• Gradient descent
• Derivative
• Convex set
• Ellipsoid method

Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail:

Source URL: www1.maths.leeds.ac.uk

On the singular set of a nonlinear degenerate PDE arising in Teichm¨ uller theory Georgios Daskalopoulos1 Brown University

Source URL: www.math.brown.edu

Homework II, Topics in Theoretical Computer Science 2016 Due on Monday April 11 at 9:00 (send an email to ). Solutions to many homework problems, including problems on this set, are available on the I

Source URL: theory.epfl.ch

Homework I, Topics in Theoretical Computer Science 2016 Due on Tuesday March 22 at 12:00 (send an email to ). Solutions to many homework problems, including problems on this set, are available on the

Source URL: theory.epfl.ch

arXiv:1106.2436v3 [cs.LG] 25 OctFrom Bandits to Experts: On the Value of Side-Observations Ohad Shamir Microsoft Research New England

Source URL: arxiv.org

• Graph theory
• NP-complete problems
• Independent set
• Matching
• Clique
• Ear decomposition
• Graph coloring
• Trapezoid graph

Second  order  logic     or  set  theory?   Jouko  Väänänen   Helsinki  and  Amsterdam   1  

Source URL: www.math.helsinki.fi